1. ZUM'97 : the z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3-4, 1997 : proceedings
پدیدآورنده : Jonathan P. Bowen, Michael G. Hinchey, David Till )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Z )Computer program language(
رده :
QA
76
.
L28
Vol
.
1212

